more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 18123

[filed under theme 5. Theory of Logic / G. Quantification / 4. Substitutional Quantification ]

Full Idea

Substitutional quantification and quantification understood in the usual 'ontological' way will coincide when every object in the (ontological) domain has a name.

Gist of Idea

Substitutional quantification is just standard if all objects in the domain have a name

Source

David Bostock (Philosophy of Mathematics [2009], 7.3 n23)

Book Ref

Bostock,David: 'Philosophy of Mathematics: An Introduction' [Wiley-Blackwell 2009], p.217